автомат с бесконечным последовательно структурированным числом состояний

Mathematics: time-variable automaton